]> dgit.raspbian.org Git - gnome-shell.git/commitdiff
ci: Merge 'source_check' stage into 'review'
authorFlorian Müllner <fmuellner@gnome.org>
Tue, 23 Jul 2019 22:29:15 +0000 (00:29 +0200)
committerFlorian Müllner <fmuellner@gnome.org>
Tue, 23 Jul 2019 22:34:55 +0000 (00:34 +0200)
GNOME apps use 'review' for the CI stage that generates and exports a
flatpak bundle after a successful build, so they need some other name
for anything that is checked before building; that's how we ended up
with the somewhat awkward 'source_check' stage (inherited from Polari).

But since the commit log check added a 'review' stage that runs pre-build,
use that for all checks that are performed before the build stage.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/627

.gitlab-ci.yml

index 8dfb00190cacd185853008ef338ed56d1c310893..7625b8711d1a6af77449e0be202ed7addb8b4be9 100644 (file)
@@ -1,6 +1,5 @@
 stages:
  - review
- - source_check
  - build
  - test
 
@@ -26,7 +25,7 @@ check_commit_log:
 
 js_check:
     image: registry.gitlab.gnome.org/gnome/gnome-shell/extension-ci:v1
-    stage: source_check
+    stage: review
     script:
         - find js -name '*.js' -exec js60 -c -s '{}' ';' 2>&1 | tee $JS_LOG
         - (! grep -q . $JS_LOG)